proof procedure中文是什么意思

发音:

中文翻译
造句

验证过程

proof n. 1.证明；证据；【法律】证件；【法律】(口头或书面 ...
procedure n. 1.工序，过程，步骤。 2.程序，手续；方法；诉讼 ...
natural deduction proof procedure 自然演绎证明过程
resolution proof procedure 消解证明过程
-proof 后缀表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防尘的。 Fire-proof 防火的。 Radar-proof 反雷达的。 Slander-proof 听了坏话不会生气的。 Sound-proof 隔音的。 Water-proof 防水的。
a proof 防原子的
a-proof 防原子的
in proof of 作...的证据
proof n. 1.证明；证据；【法律】证件；【法律】(口头或书面)证词，证言。 2.检验，考验；验算；检定的品质[强度等]。 3.试管。 4.【印刷】校样，印样。 5.(酒精的)标准强度。 6.(甲胄等的)耐力，坚牢强度，不贯穿性。 7.【摄影】样片；样张。 8.[Scot.] 审问。 9.【数学】证，证明，证法。 The proof of the pudding is in the eating. 布丁好坏一吃即知；空谈不如实验。 Here is proof positive. 有确实证据。 a foul proof 错字很多的校样。 a foundry proof (压型前的)清样。 an artist's [engraver's] proof 版面印样。 stand a severe proof 经受严格的考验。 afford proof of 提供证据。 armour of proof 戳不通的坚牢的铠甲。 below proof 不合格。 bring [put] to the proof 试，试验。 have proof of shot 能防弹，能避弹。 in proof of 作…的证据。 proof positive of his intention 他的企图的确证。 read the proof 校对。 adj. 1.试验过的，有保证的；(酒)合标准的，规定的。 2.校样的。 3.(子弹等)不入的，耐…的，防…的。 a proof coin 标准货币，制钱。 a proof sample 样品。 proof against the severest weather 经得起任何酷烈天气的。 proof against the pricks of all temptations 不为任何诱惑所动的。 vt. 使经得住，使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 无证据的。
proof of will 遗嘱证明, 遗嘱认证
procedure n. 1.工序，过程，步骤。 2.程序，手续；方法；诉讼程序；(议会的)议事程序。 3.行为，行动，传统的做法；(外交、军队等的)礼仪，礼节。 4.〔罕用语〕进行。 the code of civil [criminal] procedure 民事[刑事]诉讼法。 legal procedure 法律诉讼程序。 radio procedure 无线电通讯工作规则。 setup procedure 【自动化】准备程序。
flame proof = flame-proof 防火的
proof sheet; proof 红样
a documentory proof 用文件来证实日期
abrasion proof 耐磨的
abrasion-proof 防磨的; 耐磨的
absolute proof 绝对证明
abundant proof 充分的证据
accident proof 安全的
acid proof 耐防酸的; 耐酸,抗酸; 耐酸的; 酎酸的
acid-proof adj. 耐酸的。
actor-proof 有戏剧效果的
admission of proof 垫付款项; 接纳债权证明; 接纳债权证实; 预付款帐户; 预支款项
affirmative proof 确认的证据
afford proof 提供证据

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

But there are many limitations in their methods because the methods are not based on analysis of resolution proof procedure
但由于他们的方法都不是从分析归结证明过程出发的，所以他们的方法存在许多局限性。
Copy preparation and proof correction - specification for typographic requirements , marks for copy preparation and proof correction , proofing procedure
底稿的编写和校样修改.印刷要求底稿编写和校样修改的标记校样过程的规范

百科解释

In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.

详细百科解释